Frobenius functors and Gorenstein homological properties

We prove that any faithful Frobenius functor between abelian categories preserves the Gorenstein projective dimension of objects. Consequently, it and reflects give conditions on when a stable objects, singularity defect categories, respectively. In appendix, we direct proof following known result: for an category with enough projectives injectives, its global coincides injective dimension.